Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
281	facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-13 05:13:43 Science Artificial intelligence Structure Formal concept analysis Lattice Miner Complete lattice Frame language Kepler scientific workflow system Scientific workflow system Lattice theory Workflow technology Workflow
282	5 Darkroom Software If you have a home computer, some way to display a graphics image, and maybe even a way to capture images from a digitizer or a video recorder, you Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Parsing Compiling tools Formal languages Lexical analysis Lex Recursive descent parser Attribute grammar Interpreter Compiler Programming language implementation Software Compiler construction
283	Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-03-27 09:24:14 Mathematical logic Predicate transformer semantics Logic Transformer Function Interpretation Data-flow analysis The Transformers Mathematics Formal methods Program logic
284	1 A note on the formal treatment of exploitation in a model with heterogenous labor G´erard Dum´enil, Duncan Foley, and Dominique L´evy This note is devoted to presenting the formal generalization of Marx’s analysis Add to Reading List Source URL: www.jourdan.ens.fr Language: English - Date: 2009-07-16 10:45:31 Sociology Transformation problem Surplus value Marxian economics Prices of production Productive and unproductive labour Labour power Commodity Exploitation Marxist theory Political science Economics
285	Cópia de IPS+STS Sessions Schedule V4.xlsx Add to Reading List Source URL: www.isi2015.org Language: English - Date: 2015-05-28 08:35:04 Data analysis Scientific method Research methods Econometrics Data mining Statistical inference Spatial analysis Exploratory data analysis Regression analysis Statistics Science Formal sciences
286	SOMA Analytics Data Science Internship London SOMA Analytics is an investor-backed and award-winning startup that develops pioneering mobile Add to Reading List Source URL: www.soma-analytics.com Language: English - Date: 2015-01-15 05:48:00 Business Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Data analysis Soma Science Business intelligence Knowledge
287	Project Summary The design and analysis of network algorithmics solutions is a rich area of research that has led to numerous successful deployments in commercial Internet routers and network monitoring appliances. In ge Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2014-03-25 14:56:33 Computational complexity theory Cybernetics Formal sciences Computer science Best worst and average case Stochastic Algorithm Control theory Applied mathematics Mathematics Analysis of algorithms
288	Big Data, Ethics, and the Social Implications of Knowledge Production Ralph Schroeder Josh Cowls Add to Reading List Source URL: dataethics.github.io Language: English - Date: 2014-09-23 10:31:54 Formal sciences Database management systems Database theory Internet privacy Big data Data Research Data mining Data analysis Technology Science Data management
289	SOMA Analytics Data Science Internship London SOMA Analytics is an investor-backed and award-winning startup that develops pioneering mobile Add to Reading List Source URL: www.soma-analytics.de Language: English - Date: 2015-01-15 05:48:00 Business Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Data analysis Soma Science Business intelligence Knowledge
290	Join Our Team Data Scientist Are you passionate about solving problems using data? The Data Team at Remitly in Seattle, WA is growing and we hiring a Data Scientist to help accelerate scalable growth. We are looking to Add to Reading List Source URL: dp7bzmm9dzigd.cloudfront.net Language: English - Date: 2015-05-29 19:59:34 Data management Business intelligence Emerging technologies Analytics Mathematical finance Apache Hadoop Big data Data analysis Computer-aided audit tools Technology Science Formal sciences

UPDATE